#ifndef _testcnfs_h_INCLUDED
#define _testcnfs_h_INCLUDED

#define CNFS                                                                                                           \
	CNF(20, false, false)                                                                                              \
	CNF(20, unit1, false)                                                                                              \
	CNF(20, unit2, false)                                                                                              \
	CNF(20, unit3, false)                                                                                              \
	CNF(20, unit4, false)                                                                                              \
	CNF(20, unit5, false)                                                                                              \
	CNF(20, unit6, false)                                                                                              \
	CNF(10, true, false)                                                                                               \
	CNF(10, bin1, false)                                                                                               \
	CNF(10, bin2, false)                                                                                               \
	CNF(10, bin3, false)                                                                                               \
	CNF(20, full2, false)                                                                                              \
	CNF(20, full3, false)                                                                                              \
	CNF(20, full4, false)                                                                                              \
	CNF(10, and1, false)                                                                                               \
	CNF(10, and2, false)                                                                                               \
	CNF(10, ite1, false)                                                                                               \
	CNF(10, xor1, false)                                                                                               \
	CNF(10, xor2, false)                                                                                               \
	CNF(10, xor3, false)                                                                                               \
	CNF(10, xor4, false)                                                                                               \
	CNF(20, ph2, false)                                                                                                \
	CNF(20, ph3, false)                                                                                                \
	CNF(20, ph4, false)                                                                                                \
	CNF(20, ph5, false)                                                                                                \
	CNF(20, ph6, false)                                                                                                \
	CNF(10, sqrt3481, false)                                                                                           \
	CNF(10, sqrt3721, false)                                                                                           \
	CNF(10, sqrt2809, false)                                                                                           \
	CNF(10, sqrt12769, false)                                                                                          \
	CNF(10, sqrt5329, false)                                                                                           \
	CNF(10, sqrt6889, false)                                                                                           \
	CNF(10, sqrt4489, false)                                                                                           \
	CNF(10, sqrt5041, false)                                                                                           \
	CNF(10, sqrt6241, false)                                                                                           \
	CNF(10, sqrt7921, false)                                                                                           \
	CNF(10, sqrt16129, false)                                                                                          \
	CNF(10, sqrt11449, false)                                                                                          \
	CNF(10, sqrt10201, false)                                                                                          \
	CNF(10, sqrt10609, false)                                                                                          \
	CNF(10, sqrt9409, false)                                                                                           \
	CNF(10, sqrt11881, false)                                                                                          \
	CNF(10, sqrt63001, false)                                                                                          \
	CNF(10, sqrt259081, false)                                                                                         \
	CNF(10, sqrt1042441, false)                                                                                        \
	CNF(10, prime4, false)                                                                                             \
	CNF(10, prime9, false)                                                                                             \
	CNF(10, prime25, false)                                                                                            \
	CNF(10, prime49, false)                                                                                            \
	CNF(10, prime121, false)                                                                                           \
	CNF(10, prime169, false)                                                                                           \
	CNF(10, prime289, false)                                                                                           \
	CNF(10, prime361, false)                                                                                           \
	CNF(10, prime529, false)                                                                                           \
	CNF(10, prime841, false)                                                                                           \
	CNF(10, prime961, false)                                                                                           \
	CNF(10, prime1369, false)                                                                                          \
	CNF(10, prime1681, false)                                                                                          \
	CNF(10, prime1849, false)                                                                                          \
	CNF(10, prime2209, false)                                                                                          \
	CNF(20, prime65537, false)                                                                                         \
	CNF(20, prime4294967297, true)                                                                                     \
	CNF(20, add4, false)                                                                                               \
	CNF(20, add8, false)                                                                                               \
	CNF(20, add16, false)                                                                                              \
	CNF(20, add32, false)                                                                                              \
	CNF(20, add64, false)                                                                                              \
	CNF(20, add128, false)                                                                                             \
	CNF(20, strash1, false)                                                                                            \
	CNF(20, strash2, false)

#endif
